Incident reporting: science or protoscience? Ten years later

Incident reporting: science or protoscience? Ten years later.

Workcraft: Ten Years Later

A large number of models that are employed in the field of concurrent systems’ design, such as Petri nets, Signal Transition Graphs, gate-level circuits, dataflow structures have an underlying static graph structure. Their semantics, however, is defined using additional entities, e.g. tokens or node/arc states, which collectively form the overall state of the system. We jointly refer to such fo...

A New Kind of Science: Ten Years Later

The present author personally read the book with great interest when it was first published. Of particular interest then and now are the many illustrations, particularly those of the complex patterns generated by certain cellular automata systems, such as rule 30 and rule 110, as contrasted with the very regular patterns produced by other rules. In this regard, graphical analyses of these cellu...

Is Randomness native to Computer Science? Ten Years Later

2 What we have learned? A personal pick 4 2.1 From randomness to complexity . . . . . . . . . . . . . . . . . . . . . 4 2.2 Formalization of randomness: infinite strings . . . . . . . . . . . . . 5 2.3 Random versus lawless . . . . . . . . . . . . . . . . . . . . . . . . . . 6 2.4 Randomness and finite strings: incompressibility . . . . . . . . . . . 7 2.5 Representation and Kolmogorov complexi...

Migratory Typing: Ten Years Later

In this day and age, many developers work on large, untyped code repositories. Even if they are the creators of the code, they notice that they have to figure out the equivalent of method signatures every time they work on old code. This step is time consuming and error prone. Ten years ago, the two lead authors outlined a linguistic solution to this problem. Specifically they proposed the crea...